Lógica matemática


Lógica matemática
locución Teoría científica del razonamiento, que se divide en cálculo de enunciados y cálculo de predicados.

* * *

La lógica matemática es la disciplina que se vale de métodos de análisis y razonamiento utilizando el lenguaje de las matemáticas como un lenguaje analítico. La lógica matemática nos ayuda a establecer criterios de verdad, equivalencias lógicas tales como el silogismo, hacer demostraciones de teoremas y es auxiliar en el análisis de argumentos planteados.

Enciclopedia Universal. 2012.

Mira otros diccionarios:

  • Lógica matemática — La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la… …   Wikipedia Español

  • Independencia (lógica matemática) — En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de de demostrar o refutar una sentencia a partir de otras. Una sentencia σ se dice independiente o indecidible en una teoría de primer orden T u… …   Wikipedia Español

  • Literal (lógica matemática) — En lógica matemática, un literal es una fórmula atómica o la negación de una. Los literales pueden se pueden caracterizar en dos tipos de acuerdo a su signo: Un literal positivo es una fórmula atómica. Un literal negativo es la negación de una… …   Wikipedia Español

  • Inteligencia lógica-matemática — Para otros usos de este término, véase Inteligencia (desambiguación). La inteligencia lógica matemática es la capacidad para utilizar los números de manera efectiva y de razonar adecuadamente empleando el pensamiento lógico. Es un tipo de… …   Wikipedia Español

  • Inteligencia Lógica Matemática — Esta inteligencia implica la capacidad para emplear los números de manera efectiva y de razonar adecuadamente a través del pensamiento lógico. Comúnmente se manifiesta cuando trabajamos con conceptos abstractos o argumentaciones de carácter… …   Enciclopedia Universal

  • logică — LÓGICĂ s. 1. logică matematică v. logică simbolică; logică simbolică logistică, logică matematică. 2. coerenţă, noimă, sens, şir. (Vorbeşte fără logică.) 3. v. justificare. Trimis de siveco, 13.09.2007. Sursa: Sinonime  lógică s. f., g. d. art.… …   Dicționar Român

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • lógica — (Del lat. logĭca, y este del gr. λογική). 1. f. Ciencia que expone las leyes, modos y formas del conocimiento científico. 2. Tratado de esta ciencia. Escribió una lógica que fue muy comentada. lógica borrosa, o lógica difusa. f. La que admite una …   Diccionario de la lengua española

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español